#include <config.h>
#include <mm/mem.h>
#include <types.h>


#define DDRAM_START_ADDR  (0x80000000)
#define DDRAM_SIZE        (32 * SZ_1M)


extern size_t eb_system_heap;


void eb_machine_init(void)
{
    void* start = &eb_system_heap;
	kmem_init(start, DDRAM_SIZE - CONFIG_STACK_SIZE - ((uint32_t)start - DDRAM_START_ADDR));
}
